The Data Management Platform: Foundation for Right-Time Customer Engagement A WINTERBERRY GROUP WHITE PAPER NOVEMBER 2012 IN PARTNERSHIP WITH

Source URL: www.iab.net

• Analytics
• Mathematical finance
• Marketing
• Internet marketing
• Business
• Formal sciences
• Business intelligence

Understanding Classes using XRay Views ∗† Gabriela Ar´evalo, St´ephane Ducasse, Oscar Nierstrasz Software Composition Group Institut f¨ur Informatik und angewandte Mathematik University of Bern[removed]Bern, Switze

Source URL: scg.unibe.ch

• Object-oriented programming
• Object
• Class
• Formal concept analysis
• Method
• Mutator method
• Smalltalk
• Software quality
• Software engineering
• Computer programming
• Computing

DAG-Aware AIG Rewriting A Fresh Look at Combinational Logic Synthesis Alan Mishchenko Satrajit Chatterjee

Source URL: www.bvsrc.org

• Digital electronics
• Electronic design
• Logic in computer science
• And-inverter graph
• Logic synthesis
• Field-programmable gate array
• American International Group
• Directed acyclic graph
• Logic gate
• Electronic engineering
• Electronic design automation
• Formal methods

Aphasia Support Group! This group may be helpful to you if: ◦ you or a family member have difficulty communicating, following a stroke, head injury, or other neurological problem; ◦ you have finished formal speech th

Source URL: www.mylittletonhospital.org

11+ Years of Formal Methods at Galois, Inc. Lee Pike Galois, Inc. [removed] A survey of work by many contributors

Source URL: www.galois.com

• Group theory
• Formal verification
• Logic in computer science
• Évariste Galois
• Formal methods
• Isabelle
• ACL2
• Number
• Programming language
• Mathematics
• Theoretical computer science
• Applied mathematics

MUTU: An Analysis Tool for Maintaining a System of Hierarchically Linked Ontologies Sini Pessala, Katri Sepp¨al¨a, Osma Suominen, Matias Frosterus, Jouni Tuominen, and Eero Hyv¨onen Semantic Computing Research Group (

Source URL: www.seco.tkk.fi

• Science
• Semantic Web
• Information science
• Technical communication
• Upper ontology
• Simple Knowledge Organization System
• Formal ontology
• Ontology engineering
• Ontology
• Knowledge representation
• Information

Bounded Seas — Island Parsing Without Shipwrecks Jan Kurˇs, Mircea Lungu, and Oscar Nierstrasz Software Composition Group, University of Bern, Switzerland http://scg.unibe.ch

Source URL: scg.unibe.ch

• Computing
• Software
• Parsing expression grammar
• Compiler construction
• Parser combinator
• Syntactic predicate
• Formal grammar
• Lex
• Formal languages
• Programming language implementation
• Parsing

PSS Telecon - Findings Nov 21, [removed]Finding: Establish formal representation for planetary cartography and geological mapping on PSS. Reinforcing a previous finding from our September meeting, the PSS again suggests th

Source URL: science.nasa.gov

• Cartography
• Mars Exploration Program Analysis Group
• Planetary science
• Science
• Visualization
• Mars exploration
• Planetary cartography

PSS Telecon - Findings Nov 21, [removed]Finding: Establish formal representation for planetary cartography and geological mapping on PSS. Reinforcing a previous finding from our September meeting, the PSS again suggests th

Source URL: www.lpi.usra.edu

• Cartography
• Mars Exploration Program Analysis Group
• Planetary science
• Science
• Visualization
• Mars exploration
• Planetary cartography

IANA Stewardship Transition Coordination Group Process Timeline V7 December 2014 The IANA Stewardship Transition Coordination Group (ICG) has developed a Request for Proposals (RFP) that seeks complete formal responses f

Source URL: www.icann.org

• Internet governance
• Internet in the United States
• Internet
• ICANN
• National Telecommunications and Information Administration
• Request for proposal
• Business
• Domain name system
• DNS root zone